/*
  The <stdio.h> header file defines some i/o functions in kernel space
 */

#ifndef _STDIO_H
#define _STDIO_H

#include <types.h>

#define stdin    0
#define stdout   1
#define stderr   2

int putchar(int c);
int puts(const char *s);
int getchar(void);
char *gets(char *s);

#endif /* _STDIO_H */
